منابع مشابه
Formulating Haskell
The functional programming language Haskell is examined from the point of view of proving programs correct. Particular features explored include the data type deenition facilities, classes, the behaviour of patterns and guards and the monad approach to IO in the Glasgow Haskell compiler.
متن کاملMama Jaja: the stresses and strengths of HIV-affected Ugandan grandmothers.
This paper reports an exploratory qualitative project in the Entebbe-Kampala area of Uganda with 11 grandmothers who are raising orphans because of a parent's death from HIV infection. In Sub-Saharan Africa, the highest HIV infection and mortality rates are among women, especially in their childbearing years, leading to a tremendous number of orphaned HIV-infected and -affected children. Uganda...
متن کاملFormulating deflationism
I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) ”For all p, is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not pr...
متن کاملStrengths and Stresses of Omaha Indian Families Living on the Reservation
We studied current strengths and contemporary stresses of Omaha Indian families living on the reservation in northeast Nebraska. Interviews with 60 tribal members revealed that major family and tribal strengths included: extended family support, spiritual values and religious practices, community generosity and support, Omaha culture and traditions, and a determination of many tribal members to...
متن کاملFormulating Vertical Integration Strategies^
A framework is proposed that develops the dimensions of vertical integration strated and proposes key factors that might augment their uses within various scenarios. These represent new hypotheses and conjectures about make-or-buy decisions that require empirical testing. If the framework is valid, strategists could formulate better hybrid vertical integration strategies by recogniang the hypot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Japan Academy
سال: 1963
ISSN: 0021-4280
DOI: 10.2183/pjab1945.39.588